
#include "includes.h"
#include "structs.h"
#include "declares.h"


int main(int ac, char**av)
{
        grape_set_app_name(av[0]);
        grape_errexit_if((ac!=3), 1, "dimacs npart\n");

        char *dimacsf=av[1];
        int npart=atoi(av[2]);

        char *vfilef=va_format("%s.v", dimacsf);
        char *efilef=va_format("%s.e", dimacsf);
        char *rfilef=va_format("%s.r", dimacsf);
        char *datf=va_format("%s.verify", dimacsf);

        FILE *dimacs=fopen(dimacsf, "r");
        FILE *vfile=fopen(vfilef, "w");
        FILE *efile=fopen(efilef, "w");
        FILE *rfile=fopen(rfilef, "w");
        dimacs2files(dimacs,npart,vfile,efile,rfile);


}

